A. Visser; "Löb's Logic Meets the μ-Calculus"
In this paper, we prove that Lob's Logic is a retract of the modal M-calculus in a suitable category of interpretations. We show that various salient properties like decidability and uniform interpolation are preserved over retractions. We prove a generalization of the de Jongh-Sambin theorem.
keyword